import javax.servlet.ServletException;
import javax.servlet.annotation.WebServlet;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import java.io.IOException;

@WebServlet(urlPatterns = {"/one_"})
public class one_ extends HttpServlet {
    @Override
    protected void doGet(HttpServletRequest req,HttpServletResponse res) throws ServletException,IOException{
        req.getSession().removeAttribute("user");
        req.getSession().removeAttribute("token");
        res.sendRedirect("https://cas.dgut.edu.cn/logout?callback=http://localhost:8080/login/dgut");
    }
}
